m formula language